41. Logic programming and nonmonotonic reasoning
Author: / Chitta Baral, Gerhard Brewka, John Schlipf (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic programming--Congresses,Nonmonotonic reasoning--Congresses
Classification :
QA
,
76
.
63
,.
L74
,
2007
42. Logic programming and nonmonotonic reasoning :
Author: Pedro Cabalar, Tran Cao Son (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming, Congresses,Nonmonotonic reasoning, Congresses
Classification :
QA76
.
63
.
L66
2013
43. Logic programming and nonmonotonic reasoning:Third international
Author:
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: logic programming
Classification :
QA76
.
63
.
L65
1995
44. Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 1997 : proceedings
Author: Jurgen Dix, Ulrich Fuhrbach, Anil Nerode, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
Classification :
QA
76
.
L28
Vol
.
1265
45. Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
Author: Chitta Baral... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
Classification :
QA
76
.
L28
Vol
.
3662
46. Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
Author: Michael Gelfond, Nicola Leone, Gerald Pfeifer )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
Classification :
QA
76
.
L28
Vol
.
1730
47. Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
Author: Vladimir Lifschitz, Ilkka Niemela )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
Classification :
QA
76
.
L28
Vol
.
2923
48. Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
Author: Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
Classification :
QA
76
.
L28
Vol
.
2173
49. Logic programming, knowledge representation, and nonmonotonic reasoning
Author: [edited by]& Marcello Balduccini, Tran Cao Son
Library: Central Library and Information Center of Shahed University (Tehran)
Subject:
50. Logic programming, knowledge representation, and nonmonotonic reasoning :
Author: Marcello Balduccini, Tran Cao Son (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Gelfond, Michael,Logic programming,Nonmonotonic reasoning
51. May 1, 2010, Revised Selected Papersع۰ب16, Dakar, Senegal, April 25-Logic for Programming
Author: / Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
52. 19, 2011. Proceedings-Logic Programming and Nonmonotonic Reasoning: 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16
Author: / David Poole (auth.), James P. Delgrande, Wolfgang Faber (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
53. 15, 2010. Proceedings-17, Yogyakarta, Indonesia, October 10-Logic for Programming, Artificial
Author: / ller, Andrei Voronkov (eds.)یKrishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Ferm
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
54. Reasoning with logic programming
Author: Alferes, Jose Julio
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Reasoning
Classification :
QA
76
.
L28
Vol
.
1111
